Formal systems

Results: 1365



#Item
461Information technology management / Database management systems / Database theory / Business intelligence / Data analysis / Big data / Analytics / Data visualization / Database / Data management / Technology / Formal sciences

Memory Association Machine: Growing Form from Context Benjamin David Robert Bogart Thecla Schiphorst

Add to Reading List

Source URL: puredata.info

Language: English - Date: 2012-02-22 09:40:24
462Information technology management / Database management systems / Database theory / Business intelligence / Data analysis / Big data / Analytics / Data visualization / Database / Data management / Technology / Formal sciences

Harnessing Big Data to Solve Complex Problems: The Cloud Analytics Reference Architecture

Add to Reading List

Source URL: mena.boozallen.com

Language: English - Date: 2015-04-28 20:22:42
463Energy policy / Technology / Building engineering / Energy conservation / Environmental issues with energy / Sustainable building / Sustainable energy / Energy industry / International Partnership for Energy Efficiency Cooperation / Energy economics / Energy / Environment

WORKSHEET 2: ENERGY MANAGEMENT MATRIX LEVEL POLICY AND SYSTEMS ORGANIZATION MOTIVATION INFORMATION SYSTEMS TRAINING AND AWARENESS INVESTMENT 4 Formal energy / environmental policy and management system, action plan and

Add to Reading List

Source URL: www.energyefficiencyasia.org

Language: English - Date: 2006-01-02 23:26:24
464Emerging technologies / Database management systems / Formal sciences / Business intelligence / Electric power distribution / K / Smart grid / Smart meter / Big data / Technology / Computing / Data management

Kx Systems DEFENCE TECHNOLOGY Revolutionizing Utilities with Better Data Analytics 20 MOST PROMISING

Add to Reading List

Source URL: kx.com

Language: English - Date: 2015-01-08 18:42:08
465Autopoiesis / Cybernetics / Philosophy of mind / Self-organization / Systems theory / Thermodynamics / Group action / Abstract algebra / Mathematical analysis / Mathematics

in Artificial Life VIII, Standish, Abbass, Bedau (eds)(MIT Presspp 15–18 1 Formal Description of Autopoiesis for Analytic Models of Life and Social Systems

Add to Reading List

Source URL: alife8.alife.org

Language: English - Date: 2013-01-14 08:21:50
466HTML element / Risk / Public safety / Ethics / Backward compatibility / Deprecation

UKTC Product Development Lifecycle Template – Legacy Product The purpose of this document is to provide a formal template that can guide the developer in the type of information required by the UKTC Edition Committee i

Add to Reading List

Source URL: systems.hscic.gov.uk

Language: English
467Technology / Science / Quality assurance / Specification / Software development process / Quality / Evaluation / Standards

UKTC Product Development Lifecycle Template – Draft for Trial Use The purpose of this document is to provide a formal template that can guide the developer in the type of information required by the UKTC Edition Commit

Add to Reading List

Source URL: systems.hscic.gov.uk

Language: English
468Technology / Database management systems / Formal sciences / Information technology management / Database theory / Big data / Apache Hadoop / Database / Data warehouse / Data management / Computing / Business intelligence

COVER STORY V GET READY FOR —I

Add to Reading List

Source URL: www.unilogcorp.com

Language: English - Date: 2014-01-30 00:52:05
469Applied mathematics / Knowledge / Abstract interpretation / Software engineering / Formal verification / Software verification / Software development process / Computer science / System / Science / Formal methods / Patrick Cousot

« Abstract Interpretation–based Formal Verification of Complex Computer Systems » Patrick Cousot Jerome C. Hunsaker Visiting Professor Department of Aeronautics and Astronautics Massachusetts Institute of Technology

Add to Reading List

Source URL: www.mit.edu

Language: English - Date: 2005-05-01 14:30:35
UPDATE